Tomcat JNDI DataSource Connection Pool